121. Practical robot design :
پدیدآورنده : Jagannathan Kanniah, M. Fikret Ercan, Carlos A. Acosta Calderon
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Robotics,Robots-- Design and construction
رده :
TJ211
.
K355
2014
122. Principles of security and trust :
پدیدآورنده : Lujo Bauer, Ralf Küsters (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer science.,Computer security.,Computer security.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Systems analysis & design.
رده :
QA76
.
9
.
A25
P67
2018eb
123. Quantum physics and geometry /
پدیدآورنده : editors Edoardo Ballico, Alessandra Bernardi, Iacopo Carusotto, Sonia Mazzucchi and Valter Moretti.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Geometry.,Quantum theory.,Geometry.,Quantum theory.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.
رده :
QC174
.
12
124. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
125. Realtime Data Minin
پدیدآورنده : / by Alexander Paprotny, Michael Thess
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer science,Computer software,Electronic books
رده :
E-BOOK
126. Reinforcement Learning and Game Theory for Smart Grid Security
پدیدآورنده : Paul, Shuva
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Electrical engineering
127. Reinforcement Learning and Game Theory for Smart Grid Security
پدیدآورنده : Paul, Shuva
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Electrical engineering
128. Resolving conflicts with mathematica : algorithms for two-person games
پدیدآورنده : Canty, Morton John
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematica )Computer program language(,Computer programs ، Game theory,، Algorithms
رده :
QA
76
.
73
.
M29C2
129. Resource Allocation in Uplink OFDMA Wireless Systems :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Orthogonal frequency division multiplexing.,Radio resource management (Wireless communications),Electrical engineering.,Engineering.
رده :
TK
130. Rohit Parikh on Logic, Language and Society
پدیدآورنده : edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
131. Security, Privacy, and Anonymity in Computation, Communication, and Storage :
پدیدآورنده : edited by Guojun Wang, Jun Feng, Md Zakirul Alam Bhuiyan, Rongxing Lu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer network architectures.,Computer science.,Data protection.,Information systems.,Artificial intelligence.,Computer network architectures.,Computer science.,Data protection.
رده :
QA76
.
9
.
A25
132. Security and Game Theory : Algorithms, Deployed Systems, Lessons Learned
پدیدآورنده : / Tambe, Milind
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
133. Security and game theory :
پدیدآورنده : Milind Tambe
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security,Game theory,Security, International-- Mathematical models
رده :
QA76
.
9
.
M35
T36
2012
134. Selected Topics in Operations Research and Mathematical Economics :
پدیدآورنده : edited by Gerald Hammer, Diethard Pallaschke.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Economics.
رده :
T57
.
6
.
A1
E358
1984
135. Selected papers of the Symposium on Operations Research :
پدیدآورنده : (SOR '99). K. Inderfurth ... (ed.). [GOR, Gesellschaft für Operations-Research e.V.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Magdeburg 1999.,Operations Research -- Kongress.
136. Simulated Evolution and Learning.
پدیدآورنده : Bob McKay
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
137. Simulation-Based Algorithms for Markov Decision Processe
پدیدآورنده : / by Hyeong Soo Chang, Jiaqiao Hu, Michael C. Fu, Steven I. Marcus
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Engineering,Computer software,Systems theory,Distribution (Probability theory),Operations research,Electronic books
رده :
E-BOOK
138. Smart computational strategies :
پدیدآورنده : Ashish Kumar Luhach, Kamarul Bin Ghazali Hawari, Ioan Cosmin Mihai, Pao-Ann Hsiung, Ravi Bhushan Mishra, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer networks.,Artificial intelligence.,Computer networks.
رده :
Q335
139. Soft computing for problem solving :
پدیدآورنده : Jagdish Chand Bansal, [and 4 others], editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Soft computing, Congresses.,Soft computing.
رده :
QA76
.
9
.
S63
S64
2019
140. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده : Gi-Chul Yang [and others], editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
